version: 1.4.2.
14/11/10 Improved version
Change of font sizes and layout in human readable form results fewer pages in PDF (about 33% saving).
Configurable memory pool size for Java results better performance (see also File menu, Preferences, TL editing preferences, Memory and How can I configure memory allocated to Java and what is a proper size?).
Enhanced editing capability for LOTL (list of lists).